#!/bin/bash
#kill all programs, whose pids are in the pids file, and clear the pids file

#for i in `ps aux | grep "\-Djava" | while read line ; do echo $line | head -c 12 | tail -c 6 ; echo "" ; done` ; do kill $i ; done

cd `dirname "$0"`

for i in `cat pids` ; do
	kill -s 09 $i
done

rm pids

